loop-invariant computation - Español Inglés Diccionario